Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
×
Log in to your account
Login:
Password:
Forgot your password?
Home
›
Details for: Theoretical Computer Science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Normal view
MARC view
ISBD view
Theoretical Computer Science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
By:
Calude, Cristian S
.
Contributor(s):
Sassone, Vladimiro
.
Material type:
Book
Series:
323
.
IFIP adances in information and communication technology
.
Publisher:
Berlin:
Springer,
2010
Description:
xii, 385 p.; ill.: 24 cm
.
ISBN:
9783642152399 .
Subject(s):
Computational complexity
|
Polarized Resolution Modulo
|
Computer science
|
Computer networks
|
Computation by Abstract Devices
|
Logics and Meanings of Programs
|
Informatique
|
Programming Techniques
|
Software Engineering
|
Computer Communication Networks
|
Algorithm Analysis and Problem Complexity
|
Programming and Operating Systems
|
Software engineering
|
Computer programming
|
Algorithms
|
Computer logic
DDC classification:
004
Tags from this library:
No tags from this library for this title.
Log in to add tags.
Holdings ( 1 )
Comments ( 0 )
Item type
Current location
Call number
Status
Date due
Barcode
Books
004 CAL (
Browse shelf
)
Available
026333
There are no comments for this item.
Log in to your account
to post a comment.
Print
Save record
BIBTEX
Dublin Core
MARC (non-Unicode/MARC-8)
MARCXML
RIS
MARC (Unicode/UTF-8)
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
×
Exporting to Dublin Core...
Simple DC-RDF
OAI-DC
SRW-DC
Powered by
Koha
There are no comments for this item.